]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 193e4ae) | patch
workspace: Rename some variables for clarity
authorverdre <verdre@v0yd.nl>
Wed, 30 Jan 2019 19:54:44 +0000 (20:54 +0100)
committerFlorian Müllner <florian.muellner@gmail.com>
Thu, 31 Jan 2019 17:36:25 +0000 (17:36 +0000)
commita00b967df003cc89fa0f55fa5eaf59f3e1a0067a
treea01e0f0c646e830690d37ce876f190f0c47186bdtree | snapshot
parent193e4ae31ea585fb3da2e2d0e0083c9c06eec01fcommit | diff
workspace: Rename some variables for clarity

Since the overlays we show on hover above the window clones are no
longer only a close button, but the window title, a border and a close
button, rename a few variables so it's easier to understand what they're
for.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/346
js/ui/workspace.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.